منابع مشابه
On Sets, Types, Fixed Points, and Checkerboards
Most current research on automated theorem proving is concerned with proving theorems of first-order logic. We discuss two examples which illustrate the advantages of using higher-order logic in certain contexts. For some purposes type theory is a much more convenient vehicle for formalizing mathematics than axiomatic set theory. Even theorems of first-order logic can sometimes be proven more e...
متن کاملConvergence and fixed points by fuzzy orders
A general approach to fixed point theory is proposed which is related to the notion of fuzzy ordering. This approach extends both the fixed point theorems in metric spaces and the ones in ordered sets. © 2007 Elsevier B.V. All rights reserved.
متن کاملEvaluating Polynomials at Fixed Sets of Points
We investigate the evaluation of an (n-1)st degree polynomial at a sequence of n points. It is shown that such an evaluation reduces directly to a simple convolution if and only if the sequence of points is of the form b, ba, ba2, ., ba for complex numbers a and b (the so-called "chirp transform"). By more complex reductions we develop an O(n log n) evaluation algorithm for sequences of points ...
متن کاملFixed Points of Fuzzy Soft Mappings
In this paper, the concept of a fuzzy soft mapping on a fuzzy soft set is introduced and the study of fixed points of such mappings is initiated.
متن کاملDiagonal arguments and fixed points
A universal schema for diagonalization was popularized by N.S. Yanofsky (2003), based on a pioneering work of F.W. Lawvere (1969), in which the existence of a (diagonolized-out and contradictory) object implies the existence of a fixed-point for a certain function. It was shown that many self-referential paradoxes and diagonally proved theorems can fit in that schema. Here, we fi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Mathematical Analysis and Applications
سال: 1987
ISSN: 0022-247X
DOI: 10.1016/0022-247x(87)90016-3